protocol verification
英 [ˈprəʊtəkɒl ˌvɛrɪfɪˈkeɪʃən]
美 [ˈproʊtəkɑːl ˌvɛrəfəˈkeɪʃən]
网络 协议验证; 的协议验证; 协议认证; 实验验证
双语例句
- A proved secure protocol for watermark verification based on perfect zero knowledge interactive proof system and bit commitments scheme is proposed.
基于完全零知识交互证明系统和位委托方案，提出了可证明的安全水印认证协议。 - Authenticated Key Exchange Protocol and Verification SVO Logic
认证的密钥交换协议及SVO逻辑证明 - Communication protocol verification is a procedure to check the logic errors of the protocol. Among the various proposed approaches, reachability analysis is the most convenient, automatic and effective one.
通信协议验证方法中，可达性分析是一种方便的、易于自动化处理的、有效的协议验证方法。 - Basic Method for Protocol Specification and Verification
协议描述和验证的基本方法 - This paper mainly introduces the protocol verification and analysis of protocol engineering activities.
协议设计、开发的复杂性的增加导致了协议工程技术的出现，该文主要介绍了协议工程活动中的协议验证与分析阶段。 - The main activities of protocol engineering consist of the protocol specification, verification, performance evaluation, automatic implementation and conformance testing. The protocol specification and analysis are very important steps of activities in protocol engineering, and they are basic steps of other activities in protocol engineering.
协议工程的主要活动包括协议描述、验证、性能分析、自动实现和一致性测试，其中协议描述和分析是整个协议工程中最重要的活动环节，是协议工程其它活动的基础。 - Security Protocol Verification for E-Commerce
电子商务中安全协议的验证方法 - Protocol Specification and Verification Based on Z
基于Z的协议形式描述与验证 - The basic concepts of protocol specification and verification are presented briefly, and the basic ideas are given by means of examples with respect to the construction of specifications for implementation and protocol verification. Finally, AB protocol based on Petri nets is illustrated as an example.
简要说明了协议描述和验证的基本概念，示例性地介绍构造实现描述和协议验证的基本思想，最后以Petri网形式给出了AB协议一例。 - We always use Certificate Revocation List to save the revoked certificates, and use Lightweight Directory Access Protocol or Online Certificate Status Protocol as verification mechanism.
证书的撤销采用证书撤销列表，而用于验证证书状态的机制一般使用轻型目录存取协议或者在线证书状态协议。 - Petri Net Description of a New Satellite Network Management Protocol and Its Verification
一种新型卫星网管协议的Petri网描述与验证 - Concurrent Path Based Protocol Verification
一种基于并发路径的协议验证方法 - Multi-agent Logic Program and its Application to Protocol Verification
多agent逻辑程序及其在协议验证中的应用 - In the procedures of PE, which include design, description ( modeling), verification, performance analysis, implement, test and maintenance, protocol verification is one of the key procedures.
在设计、描述（建模）、验证、性能分析、实现、测试和维护等协议工程的各个环节中，协议验证是最为关键的一个环节。 - Analysis and comparation on the protocol verification of computer network
基于不同形式化模型的网络通信协议验证技术的分析与比较 - This paper describes main techniques of protocol specification and verification, and discusses its formal description and verification based on label FSM. and also gives its application examples.
本文论述了协议的形式描述与验证的主要技术，讨论了基于标号有限状态机的形式描述与验证问题，给出了应用实例。 - Study on the Protocol Verification of Computer Network
计算机网络通信协议验证技术的研究 - A Reduction Algorithm Based on Process Algebra for Security Protocol Verification
一种基于进程代数的安全协议验证消解算法 - Formal description and verification techniques and its development are discussed. The purpose and method of protocol verification are expounded, and the protocol verification and its characteristics and strongpoint based on FMS, CCS model and Petri nets are introduced.
讨论协议形式描述与验证技术的目的与方法，重点介绍了基于FMS、通信演算系统以及Petri网协议验证技术的特点及其优点。 - The security protocol verification is one of the important projects in the domain of network security.
安全协议认证是网络安全领域中重大课题之一。 - A Survey of Security Protocol Verification Based on Process Algebra
基于进程代数安全协议验证的研究综述 - It has become more and more important that the application of theorem proving on mathematic theorem proving, protocol verification, hardware verification and software verification.
机器定理证明在数学定理证明、协议验证、软件和硬件的形式化验证等方面发挥出越来越重要的作用。 - The Data Authentication Protocol in Onsite Verification
现场核查中的数据认证协议 - They are: 1.Verifying mixed models must employ two quite different methods, so they are unfavorable for the automation of the protocol verification.
验证混合模型时，需要使用2种完全不同的方法，这不利于验证的自动化实现； - Purpose: To design a protocol for clinically verification of a domestically manufactured SPECT ( BHP6601).
目的：建立和评价国产SPECT的临床验证标准。 - The protocol verification is a process to check protocol functions and performance and it is essential link to guarantee the quality of protocol development.
协议化验证是对协议的功能和性能进行校验过程，是保证协议开发质量的必要环节。 - Protocol Engineering is an integrated and formalized process of protocol development, including protocol formal description, protocol verification, protocol implementation and protocol testing based on formal description.
协议工程是一体化、形式化的协议开发过程，其研究内容包含协议的形式化描述，协议验证，协议实现和协议测试等。 - Finally, we perfected the protocol by the verification results, summarized the current work and prospected for future plan. The paper shows that the application of SPIN in verifying the e-commerce protocol is feasible, and these three protocols have practical values.
验证结果表明应用SPIN对电子商务协议分析检验的可行性与普遍适用性，同时表明了这三种协议的实际应用价值。 - Formal method is an important software and protocol analysis and verification tools.
形式化方法作为一种重要的软件及协议的安全性分析工具，以其准确性的特点已成为检验网络协议安全性的重要途径。 - From the perspective of protocol engineering, verification is also an important step of the life-cycle of protocol development, a well-defined and verified specification will reduce the cost for implementation and maintenance.
一个定义完备验证无误的协议可以有效的减少后期的开发以及维护费用。另外从协议工程的角度看，验证也是一个协议开发生命周期中重要的步骤。